loc($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ecase1($e$;${\it info}$;$i$.$i$;$l$,${\it e'}$.destination($l$))